El lenguaje generado por una gramática es el conjunto de todas formas sentenciales de la gramática compuestas por solo no-terminales.

El lenguaje generado por una gramática es el conjunto de todas les secuencias de símbolos terminales que pueden ser derivadas por la gramática en un número finito de pasos.

Si G = (Σ, N, P, S),
entonces
L _G = { ω ∈ Σ^* | S ⇒^* ω }